formal reasoning

形式推理